package asserts;

public class Asserts {

	/**
	 * compute 
	 * @param x
	 * @return
	 * 
	 * @require x >= 0
	 * 
	 */
	public static double compute( double x){
		assert x >= 0;
		return Math.sqrt( x );
	}

	public static void main(String[] args){
		System.out.println("Starting ... ");
		double x = 2.0;
		double y = compute( x );

		double z = y + 1;

		System.out.println("Done! x is " + x + ", y is " + y + " and z is " + z);
	}
}
